home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Collection of Tools & Utilities
/
Collection of Tools and Utilities.iso
/
ada
/
c01lab1.zip
/
ADAWKBK
/
SOL1-6.ADA
< prev
next >
Wrap
Text File
|
1992-11-11
|
609b
|
30 lines
-- Problem 1.6
-- by Rick Conn
with Text_IO;
procedure Truth_Table is
package Bool_IO is new Text_IO.Enumeration_IO (Boolean);
begin -- Truth_Table
Text_IO.Put_Line (" I J I and J I or J I xor J");
for I in FALSE .. TRUE loop
for J in FALSE .. TRUE loop
Bool_IO.Put (I, 6);
Bool_IO.Put (J, 6);
Text_IO.Put (" ");
Bool_IO.Put (I and J, 7);
Text_IO.Put (" ");
Bool_IO.Put (I or J, 7);
Text_IO.Put (" ");
Bool_IO.Put (I xor J, 7);
Text_IO.New_Line;
end loop;
end loop;
end Truth_Table;